- program calculus
- Компьютерная техника: исчисление программ
Универсальный англо-русский словарь. Академик.ру. 2011.
program calculus
Смотреть что такое "program calculus" в других словарях:
Calculus ratiocinator — The Calculus Ratiocinator is a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz, usually paired with his more frequently mentioned characteristica universalis , a universal conceptual… … Wikipedia
Program refinement — Data transformation/Source transformation Concepts metadata · data mapping data transformation · model transf … Wikipedia
Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based … Wikipedia
Education Program for Gifted Youth — The Education Program for Gifted Youth, at Stanford University, is a gifted education program which offers distance and residential summer courses for students of all ages. It is a distance learning program, meaning that courses are taught… … Wikipedia
Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… … Wikipedia
Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… … Wikipedia
Refinement calculus — is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non executable program , which is then refined by a series of correctness… … Wikipedia
Epsilon calculus — Hilbert s epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The… … Wikipedia
Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… … Wikipedia
The University Transition Program — Infobox Education in Canada name= University Transition Program city= Vancouver province= British Columbia schoolboard= School District 39 Vancouver schooltype= Early college entrance program grades= 11 12 mascot= language= English area=… … Wikipedia
Vagelos Program in Life Sciences and Management — The Vagelos Program in Life Sciences and Management is a 4 year dual degree undergraduate program of the School of Arts Sciences and the Wharton School of the University of Pennsylvania. Students of the program graduate with both a B.S. in… … Wikipedia
